Conditional permissions in contracts

Defining and characterising conditional permissions has never been easy. Part of the problem, we believe, comes from the fact that there is not one but a whole family of possible deontic operators, all of them distinct and reasonable, that can be labelled as conditional permissions. In this article, rather than disputing the correct interpretation, we revisit a number of different interpretations the term has received in the literature, and propose appropriate formalisations for these interpretations within the context of contract automata.peer-reviewe

Detección automática de defectos normativos, una invitación a la colaboración

En la edición anterior de estas mismas jornadas presentábamos nuestro enfoque sobre la verificaci´on automática de documentos normativos. Un año después, con mucho trabajo en el haber, presentamos a la comunidad FL, nuestro lenguaje deóntico, junto con una serie de herramientas destinadas a encontrar incoherencias en documentos normativos. Lo hacemos mediante un caso de estudio que pone de relieve la capacidad de encontrar fallas para nada evidentes. Este artículo configura un llamado a la comunidad de investigadores y profesionales para colaborar en el análisis de casos de estudio reales, más complejos aún, como una forma de emprender el ciclo virtuoso de investigación y desarrollo con vistas a mejorar la calidad de las normas que nos regulan.Sociedad Argentina de Informática e Investigación Operativ

Diez preguntas frecuentes (y urgentes) sobre pensamiento computacional

In this article we address some frequently asked questions related to Computational Thinking and Computer Science in schools from a perspective that seeks to investigate behind the fashions that prevail regarding the uses of technology in the school environment. In this sense, it becomes necessary to get involved in other related matters, such as school robotics or transversal teaching of the Computer discipline. The word "urgent" in the title accounts for the need of some epistemological clarity necessary to accompany the processes of inclusion of these concepts in argentine schools.En este artículo abordamos algunas preguntas frecuentes relacionadas con el pensamiento computacional y las ciencias de la computación en la escuela desde una perspectiva que busca indagar detrás de las modas que imperan en lo respectivo a los usos de la tecnología en el ámbito escolar. En este sentido, se vuelve necesario involucrarnos en otras discusiones conexas, como la de la robótica escolar o la enseñanza transversal de la disciplina Informática. Se titula "urgente" porque cierta claridad epistemológica es precisa para acompañar los procesos de inserción de estos conceptos en las escuelas argentinas

Synthesising implicit contracts

In regulated interactive systems, one party’s behaviour may impose restrictions on how others may behave when interacting with it. These restrictions may be seen as implicit contracts which the affected party has to conform to and may thus be considered inappropriate or excessive if they overregulate one of the parties. In, we have characterised such implicit contracts and present an algorithmic way of synthesising them using a formalism based on contract automata to regulate interactive action-based systems. In this presentation, we outline the problem and future extensions of the work we are currently exploring.peer-reviewe

Verificación automática de documentos normativos: ¿ficción o realidad?

El desarrollo de toda pieza de software de cierta escala comienza por una etapa que se conoce como especificación, donde se describen las tareas que el software debe realizar. Estas especificaciones tienen en general una inclinación deóntica, pues indican cuáles comportamientos del sistema bajo estudio son permitidos y cuáles no lo son. Siendo un producto humano, suelen contener errores, contradicciones, casos sin cubrir, etc. Dentro de la Ingeniería del Software existen técnicas y herramientas lógico-matemáticas llamadas métodos formales, que analizan esas especificaciones en busca de defectos, de muy difícil hallazgo manual. Tomando como base las similitudes entre la especificación de software y la de las normas legales, este artículo explora la idea de trasladar al terreno legislativo las técnicas y herramientas que han resultado exitosas para verificar software. Además de repasar los antecedentes académicos en la interacción Informática-Derecho, aplicamos algunas de las técnicas mencionadas a un caso de estudio real en el que encontramos “lagunas” que podrían ser abusadas, y proponemos una agenda de investigación para el área.Sociedad Argentina de Informática e Investigación Operativ

Despertando vocaciones en computación mediante el uso de autómatas de chat

Este artículo describe la colaboración entre la Fundación Sadosky y la FaMAF para paliar el problema de la falta de interés de los jóvenes por las TICs. Para esta colaboración conformamos un equipo multidisciplinario compuesto por informáticos, psicólogos, sociólogos y comunicadores que generó un círculo virtuoso de financiación: fondos iniciales de la Fundación sirvieron de semilla para que la Universidad Nacional de Córdoba se sumara al proyecto con becas y subsidios, e involucrase a empresas locales.Sociedad Argentina de Informática e Investigación Operativ

Contracts for Interacting Two-Party Systems

This article deals with the interrelation of deontic operators in contracts -- an aspect often neglected when considering only one of the involved parties. On top of an automata-based semantics we formalise the onuses that obligations, permissions and prohibitions on one party impose on the other. Such formalisation allows for a clean notion of contract strictness and a derived notion of contract conflict that is enriched with issues arising from party interdependence.Comment: In Proceedings FLACOS 2012, arXiv:1209.169

Types of rights in interacting two-party systems : a formal analysis

Partially founded by UBACyT 20020090200116 and UBACyT 20020100200103.We present a formalization of Kanger’s types of rights in the context of interacting two-party systems, such as contracts. We show that in this setting basic rights such as claim, freedom, power and immunity can be expressed in terms of (possibly negated) permissions and obligations over presence or absense of actions, and that the set of atomic type rights is different from Kanger’s original proposal.peer-reviewe

Contract automata with reparations

Although contract reparations have been extensively studied in the context of deontic logics, there is not much literature using reparations in automatabased deontic approaches. Contract automata is a recent approach to modelling the notion of contract-based interaction between different parties using synchronous composition. However, it lacks the notion of reparations for contract violations. In this article we look into, and contrast different ways reparation can be added to an automaton- and state-based contract approach, extending contract automata with two forms of such clauses: catch-all reparations for violation and reparations for specific violations.peer-reviewe